A correspondence theory of truth involves at least three constituents; the truth bearer, propositions, which stand in a relation of correspondence to the third element, the truth maker, some objects or fact with which the truth maker must correspond. Correspondence theories differ about the nature of truth makers, over whether one needs to include properties, and in particular over whether facts must be assumed in addition in order to give a correct account not (...) merely of the conditions under which propositions are true, but also what makes them true. Simple modal propositions state that objects necessarily or possibly have certain properties. What makes such propositions true? In this paper I want to consider various candidates for an account of the truth makers of modal propositions. After rejecting several alternatives that rely only on objects and properties, i.e., truth conditions, I will present several refinements of a fact based theory culminating in the view that truth makers for modal propositions are actual or non-actual facts which have facts and possible worlds as constituents. (shrink)

According to Meinongianism, some objects do not exist but we can legitimately refer to and quantify over them. Moreover, Meinongianism standardly regards nonexistent objects as contributing to the truth-makers of sentences about nonexistent objects. Recently, Tim Crane has proposed a weak form of Meinongianism, a reductionism, which denies any contribution of nonexistent objects to truth-making. His reductionism claims that, even though we can truly talk about nonexistent objects by using singular terms and (...) quantifiers about them, any truth about nonexistent objects is reducible to some truths about existent objects. In this paper, we critically examine the reductionism casting some doubts on the reducibility of truths of sentences like ‘a winged pig is possible’ or ‘some winged pig does not exist’ into truths about existent objects. We also argue that the truth of such sentences can be explained by adopting a strong form of Meinongianism which admits contribution of nonexistent objects to the truth-making of such sentences. (shrink)

A hallmark of correspondence theories of truth is the principle that sentences are made true by some truth-makers. A well-known objection to treating Tarski’s definition of truth as a correspondence theory has been put forward by Donald Davidson. He argued that Tarski’s approach does not relate sentences to any entities (like facts) to which true sentences might correspond. From the historical viewpoint, it is interesting to observe that Tarski’s philosophical teacher Tadeusz Kotarbinski advocated an ontological doctrine (...) of reism which accepted only concrete individuals and rejected all such abstract entities as facts, states of affairs, properties, and sets. Kotarbinski’s physicalism influenced Tarski who also avoided concepts like “fact” and “property” in his theory of truth, but—unlike Kotarbinski—he used freely set-theoretical terminology. In his mature work in model theory in the 1950s, Tarski used systematically the notion of a relational system (i.e., a domain of objects with designated elements, subsets, and relations). Wilfrid Hodges has argued that the notions of “structure” and “truth in a structure” appeared in Tarski’s work only in 1950. In my view, one can find the main ingredients of the model-theoretic account of truth already in the 1930s. These considerations suggest, against Davidson, that Tarski’s definition presupposes that material truth is always related to some kind of truth-maker. Further, facts as truth-makers can be reconstructed by employing the resources of model theory. (shrink)

Russell wrote in 1918 in The Philosophy of Logical Atomism: -/- When I speak of a fact ... I mean the kind of thing that makes a proposition true or false. If I say 'It is raining', what I say is true in a certain condition of weather and is false in other conditions of the weather. The condition of weather that makes my state­ment true (or false as the case may be), is what I should call a 'fact'. If (...) I say, 'Socrates is dead', my statement will be true owing to a certain physiological occurrence which happened in Athens long ago. -/- This classic statement of Russell's version of the correspondence theory of truth is defective on one point only: Russell was unwise to use the word 'fact'. Objects which perform the semantic role Russell accords to facts I shall call simply truth-makers. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the (...) propositions of Russell and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

Ross Cameron proposes to reconcile presentism and truth-maker theory by invoking temporal distributional properties, instantiated by present entities, as the truth-makers for truths about the past. This chapter argues that Cameron's proposal fails because objects can change which temporal distributional properties they instantiate and this entails that the truth-values of truths about the past can change in an objectionable way.

The question whether qualities are metaphysically more fundamental than or mere limiting cases of relations can be addressed in an applied symbolic logic. There exists a logical equivalence between qualitative and relational predications, in which qualities are represented as one-argument-place property predicates, and relations as more-than-one-argument-place predicates. An interpretation is first considered, according to which the logical equivalence of qualitative and relational predications logically permits us ontically to eliminate qualities in favor of relations, or relations in favor of qualities. If (...) metaphysics is understood at least in part as an exercise in ontic economy, then we may be encouraged to adopt a property ontology of qualities without quality-irreducible relations, or relations without relation-irreducible qualities. If either strategy is followed, the choice of reducing qualities to relations or relations to qualities will need to be justified on extra-logical grounds. These might include a perceived greater intuitiveness, explanatory fecundity, compatibility with cognitive ontogeny or developmental psychology, expressive or explanatory elegance or cumbersomeness, and an open-ended list of philosophical motivations that could reasonably favor the ontic prioritization of qualities over relations or relations over qualities. Despite its intuitive appeal, the thesis that logical equivalence together with extra-logical preferences justifies unidirectional ontic reduction of relations to qualities or qualities to relations is rejected in light of the more defensible proposition that the logical equivalence of qualitative and relational predications actually supports the opposite conclusion, that both qualities and relations are logically indispensable to a complete ontology of properties. The logical equivalence of qualitative and relational predications, insofar as we continue to observe the distinction, makes it logically necessary ontically for both qualities and relations to exist whenever either one exists. That logically equivalent qualitative and relational predications have as their truth-makers the exemplification by objects of both qualities and relations as equi-foundational properties further suggests that there is no deeper logical distinction between qualities and relations, but only two convenient lexical-grammatical designations for property predications involving one- versus more-than-one-argument-place. (shrink)

Zermelo, Frege and Russell accepted a common theme regarding classes. Classes were determined by other entities—functions, concepts, properties or conditions—and a class was only acceptable in the theory if there was such a determining entity. Thus, the existence of a class was taken to be dependent on a concept, function, condition, etc. whose satisfaction or fulfillment by an element determined the element to be a member of the class. This feature was behind Russell’s “no class theory,” where a class was (...) not only taken to be “determined by” a function but was considered to be “replaceable” by its determining function, as well as Frege’s problematic claim that every concept determined a class. Thus, Russell could identify the class of φs with, and Frege could take there to be a class of φs whose elements were all things falling under φ. Treating classes in such a manner does not provide for an adequate ontological assay of classes. If classes are entities, then whether or not there exists a class cannot depend on there being a property or function or concept or condition specifying membership in the class. Such a concept or property merely allows us to provide a definite description of the class. It is not the basis for the existence of the class. Russell’s “no class” theory of the first edition of Principia takes class abstracts and the classes they purportedly denote as “incomplete symbols.” As applied to the class abstract signs, the notion of an “incomplete symbol” means that such signs are only meaningful in contexts, in fact, are contextually defined. Thus, their meaning is not supplied by an entity such a sign purportedly denotes. As applied to a purported entity, to say of such a “thing” that it is an incomplete symbol is to say that it doesn’t exist. Thus, Russell classified the King of France in 1905, the king, as well as the definite description, as an incomplete symbol and called propositions “incomplete symbols” when he denied that there were such entities. (shrink)

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions (...) is offered. It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

This is an essay at the intersection of metaethics and the history of contemporary analytic philosophy. It explores the relationships between Allan Gibbard’s mature quasi-realist expressivism and (i) three non-naturalistic varieties of what I call “non-inflationary realism” and (ii) moral fictionalism. Moral or normative realism is frequently (if mistakenly) taken to involve certain existence-affirming external assumptions about the metaphysical status of substantive normative thought and discourse. The non-inflationary realists seek to embrace moral or normative objectivity and truth without any (...) distinctly—as they see it, “inflated”—moral or normative ontology. This position, along with a shared emphasis on the primacy of substantive moral or normative thought and discourse, brings them very close to Gibbard, and so to what it is tempting to treat as a strikingly different metaethical account. Focusing on the non-inflationary realists Ronald Dworkin, T.M. Scanlon, and Derek Parfit, I examine similarities among their views, and between each of these views and Gibbard’s. I argue that the non-inflationary realist project should be understood as including the work not only of these figures, characteristically seen as among its paradigmatic representatives, but also, crucially, that of Gibbard. They all agree that our moral or normative claims purport to state normative truths and that such claims are capable of being true or false and that when true they do not depend on the particular standpoint anyone happens to take. Our moral or normative thoughts can be characterized as beliefs. We can have moral knowledge. There are substantive moral and normative facts. These facts are not reducible to non-normative facts. Normative concepts cannot be analyzed in purely naturalistic terms; and normative facts do not depend on any robustly existent truth-makers. Focusing on these shared commitments enables me to home in on the apparent differences that nonetheless remain. They differ in significant respects, for instance, about whether—and, if so, to what extent—we can make any meaningful external (non-substantive) judgments about the moral or normative and about whether there is a role for property-based explanations that minimalism about the normative fails to capture. By investigating these and other differences, I shed light on what is at stake in giving an adequate account of our moral and normative thought and talk. I pursue this aim further by considering why it might seem that quasi-realist expressivism was a form of normative fictionalism or error theory—though it is not. I attempt here to clear up confusions stemming from common assumptions associated with terms like “realism,” “cognitivism,” or “fictionalism” with respect to morality or normativity. I distinguish some differences in the ways in which normative properties can be understood by non-inflationary realists and the roles they can play in explaining normativity. I underscore the implausibility of treating the moral domain as completely autonomous. And I attempt to offer suggestions regarding some conceptual options that remain to be further explored. I maintain that Gibbard makes explicit otherwise unacknowledged implications of Scanlon’s or Dworkin’s accounts, implications regarding deep differences between normative or moral and other domains, implications which might help explain the uneasiness that prompts Scanlon and Dworkin to resist Gibbard’s account and that pushes Parfit toward what seems to be a sort of intermediate position between non-inflationary and more ontologically committed realism. Non-inflationary realism forces us to rethink metaethics in interesting and promising ways. (shrink)

One way visual representations might function in scientific reasoning is to convey content that is true or false, analogous to making a claim. An alternative way that visual representations might function is as an object that may make statements true or false, but is not itself true or false, analogous to a scientific model. In this paper I evaluate the most recent and extended defense of this latter position and show that the case study involved does not in fact support (...) the view that the diagrams discussed function as truth-makers rather than truth bearers. (shrink)

This book addresses five main topics of metaphysics in its first section: formal objects and truth-makers; tropes; properties and predicates; varieties of relations; and the notion of explanation in metaphysics. The second part of this volume focuses on the history of philosophy with an emphasis on Austrian philosophy: the ideas of Bolzano, Wittgenstein, Locke and Bergson, amongst others, are explored in the papers presented here. This is the first volume in a two-volume set that originates from papers (...) presented to Professor Kevin Mulligan, covering the subjects that he contributed to during his career including ontology, mind and value, history and philosophy of mind and philosophy of language. This volume contains thirty two chapters, written by researchers from across Europe, North America and North Africa. These papers cover topics in metaphysics ranging from Lehrer and Tolliver’s discussion of truth and tropes, to Johansson’s defence of the distinction between thick and thin relations and Persson and Sahlin’s presentation of the difficulties inherent in applying the concept of explanation in metaphysics. Papers on the history of philosophy include a look at Bolzano’s formative years and his conception of mathematics. De Libera examines Brentano’s adverbial theory of judgment and Fisette traces the history of the Philosophical Society of the University of Vienna in the late 19th and early 20th century. Marion contests the trendy pragmatist accounts that lump Wittgenstein and Heidegger together and there are analyses of Locke and Bergson’s work, amongst the many papers presented here. This volume contains three chapters in French and one in Spanish. The second volume of this set looks at ethics, values and emotions, epistemology, perception and consciousness, as well as philosophy of mind and philosophy of language. (shrink)

Ordinary language and scientific language enable us to speak about, in a singular way, what we recognize not to exist: fictions, the contents of our hallucinations, abstract objects, and various idealized but nonexistent objects that our scientific theories are often couched in terms of. Indeed, references to such nonexistent items-especially in the case of the application of mathematics to the sciences-are indispensable. We cannot avoid talking about such things. Scientific and ordinary languages thus enable us to say things (...) about Pegasus or about hallucinated objects that are true, such as "Pegasus was believed by the ancient Greeks to be a flying horse," or "That elf I'm now hallucinating over there is wearing blue shoes." Standard contemporary metaphysical views and semantic analyses of singular idioms on offer in contemporary philosophy of language have not successfully accommodated these routine practices of saying true and false things about the nonexistent while simultaneously honoring the insight that such things do not exist in any way at all. That is, philosophers often feel driven to claim that such objects do exist, or they claim that all our talk isn't genuine truth-apt talk, but only pretence. This book reconfigures metaphysics in radical ways that allow the accommodation of our ordinary ways of speaking of what does not exist while retaining the absolutely crucial presupposition that such objects exist in no way at all, have no properties, and so are not the truth-makers for the truths and falsities that are about them. (shrink)

.What are the truth-makers for the claims we make about the ways familiar objects persist across change?“Stage theory” has come to be recognized as an alternative to endurantism and perdurantism. It locates the truth-makers in properties possessed by momentary object-stages and in relations between suitably propertied objectstages. This paper argues that stage theory needs tightening up: momentary stages are too short to possess by themselves the requisite properties, and relations to other stages cannot remedy (...) the defect. Fixing this problem requires reconstruing stage theory. It then is the position that all claims of persistence are true only when we are speaking loosely; in philosophical strictness, nothing persists. What stage theory then endangers is neither endurantism nor perdurantism—these now have no subject-matter—but recent efforts to argue that the essence/accident distinction is as objective as persistence itself. But even reconstrued stage theory fails. (shrink)

This paper builds on Lakoff’s and Johnson’s theory of metaphorical concepts to propose that our conception of truth as correspondence with reality is metaphorically based on our conception of perceptual fields. In particular, it is argued that parts of reality, as metaphorically understood in terms of parts of perceptual fields, can play the role of objective truth-makers for sentences with empirical content; for instance, they meet the constraints on correspondence put forward by Barry Smith. Finally, Richard Boyd’s (...) account of the function of metaphor in science is utilized to ground the nonfictional and referential status of truth-maker and related notions. (shrink)

It is often said that (M) "mind is an emergent property of matter." M is ambiguous, the reason being that, for all x and y, "x is an emergent property of y" has two distinct and mutually opposed meanings, namely: (i) x is a product of y (in the sense in which a chair is the product of the activity of a furniture-maker); and (ii) y is either identical or constitutive of x, but, relative to the information available at a (...) given time t, x-statements are not analytic consequences of y-statements. If M is taken to mean that matter produces mind, then M is false, since biological activity obviously mediates mental activity and is therefore either identical with it or constitutive of it. If M is taken to mean that statements about mind are not analytic consequences of statements about matter, then M, though true with respect to the ontological relationship with between physical objects and the mental objects mediated thereby, says nothing about how statements about the physical bear on statements about the mental. This is a consequence of the fact that it is truths that are explained, not objects. (It is truths about trees, and not the tree per se, that are explained: one explains why the tree is tall, why the tree can't survive if the drought continues, etc.) So supposing that M is taken to mean that, relative to the information available at a given time, psychological truths are not derivable from non-psychological truths, then M is to the effect that, at that time, it isn't known how, or even whether, truths of the first kind bear on those of the second, in which case M is to the effect that it isn't known how to explain the mental in terms of the physical. Thus, depending on how it is disambiguated, M is either false or devoid of content. Further, as Hempel (1965) made clear, if M is taken to mean that, at a given time, statements about the mental cannot be deduced from statements about the physical, then it is ipso facto being left open whether, at some later time, relative to a more comprehensive data-set, statements about the mental are deducible from statements about the physical. A consequence of this, as Hempel stated, is that, if M is disambiguated in the second way, it is not to the effect that statements about the mental are incapable of being deduced from statements about the physical, and is instead to the effect that, at the time M is affirmed, it simply isn't known whether, or therefore how, such a deduction can be carried. And this establishes---what has already been established on independent grounds---that M is devoid of content if interpreted as a thesis concerning the way in which statements about the physical bear on---or, a fortiori, are explanatory of---statements about the mental. Thus, the statement that "mind is an emergent property of matter" is vacuous, so far as it isn't false. (shrink)

continent. 1.3 (2011): 149-155. The world is teeming. Anything can happen. John Cage, “Silence” 1 Autonomy means that although something is part of something else, or related to it in some way, it has its own “law” or “tendency” (Greek, nomos ). In their book on life sciences, Medawar and Medawar state, “Organs and tissues…are composed of cells which…have a high measure of autonomy.”2 Autonomy also has ethical and political valences. De Grazia writes, “In Kant's enormously influential moral philosophy, autonomy (...) , or freedom from the causal determinism of nature, became prominent in justifying the human use of animals.”3 One of the oldest uses of autonomy in English is a description of the French civil war from the late sixteenth century: “Others of the…rebellion entred in counsell, whether they ought to admit the King vpon reasonable conditions, specially hauing their autonomy.”4 Life, and in particular human life, and in particular human politics, is well served by the usages of autonomy . What about the rest of reality, however? Should it be thought of, if it's even considered real and mind-independent, as pure stuff for the manipulation or decorative tastes of truly autonomous beings? We tend to think of things such as paperweights and iPhones as mere tools of human design and human use. To use them is to cause them to exist as fully and properly as they can. But according to Martin Heidegger, when a tool such as a paperweight is used, it disappears, or withdraws ( Entzug ). We are preoccupied with copying the page that the paperweight is holding down. We are concerned with an essay deadline, and the paperweight simply disappears into this general project. If the paperweight slips, or if the iPhone freezes, we might notice it. All of a sudden it becomes vorhanden (present-at-hand) rather than zuhanden (ready-to-hand).5 Yet Heidegger is unable to draw a meaningful distinction between what happens to a paperweight when it slips from the book I'm copying from and what happens to the paperweight when it presses on the still resilient pages of the thick paperback itself. Further still and related to this point, even when I am using the paperweight as part of some general task, I am not using the entirety of the paperweight as such. My project itself selects a thin slice of paperweight-being for the purposes of holding down a book. Even when it is zuhanden the paperweight is withdrawn. Graham Harman is the architect of this way of thinking.6 Harman discovered a gigantic coral reef of withdrawn entities beneath the Heideggerian submarine of Da-sein, which itself is operating at an ontological depth way below the choppy surface of philosophy, beset by the winds of epistemology, and infested with the sharks of materialism, idealism, empiricism and most of the other isms that have defined what is and what isn't for the last several hundred years. At a moment when the term ontology was left alone like a piece of well chewed old chewing gum that no one wants to have anything to do with, object-oriented ontology (OOO) has put it back on the table. The coral reef isn't going anywhere and once you have discovered it, you can't un-discover it. And it seems to be teeming with strange facts. The first fact is that the entities in the reef—we call them “objects” somewhat provocatively—constitute all there is: from doughnuts to dogfish to the Dog Star to Dobermans to Snoop Dogg. People, plastic clothes pegs, piranhas and particles are all objects. And they are all pretty much the same, at this depth. There is not much of a distinction between life and non-life (as there isn't in contemporary life science). And there is not much of a distinction between intelligence and non-intelligence (as there is in contemporary artificial intelligence theory). A lot of these distinctions are made by humans, for humans (anthropocentrism). And the concept autonomy has come into play in policing such distinctions. In this essay I shall to try to liberate autonomy for the sake of nonhumans. I shall do so by parsing carefully the title, which is taken from Hakim Bey's work The Temporary Autonomous Zone .8 First we shall explore the term autonomous . Then we shall explore what the full meaning of zone is. Finally, we shall investigate what temporary means. Each of these terms is of great value. An object withdraws from access. This means that its very own parts can't access it. Since an object's parts can't fully express the object, the object is not reducible to its parts. OOO is anti-reductionist. But OOO is also anti-holist. An object can't be reduced to its “whole” either, “reduced upwards” as it were. The whole is not greater than the sum of its parts. So we have a strange irreductionist situation in which an object is reducible neither to its parts nor to its whole. A coral reef is made of coral, fish, seaweed, plankton and so on. But one of these things on its own doesn't embody part of a reef. Yet the reef just is an assemblage of these particular parts. You can't find a coral reef in a parking lot. In this way, the vibrant realness of a reef is kept safe both from its parts and from its whole. Moreover, the reef is safe from being mistaken for a parking lot. Objects can't be reduced to tiny Lego bricks such as atoms that can be reused in other things. Nor can be reduced upwards into instantiations of a global process. A coral reef is an expression of the biosphere or of evolution, yes; but so is this sentence, and we ought to be able to distinguish between coral reefs and sentences in English. The preceding facts go under the heading of undermining . Any attempt to undermine an object—in thought, or with a gun, or with heat, or with the ravages of time or global warming—will not get at the withdrawn essence of the object. By essence is meant something very different from essentialism . This is because essentialism depends upon some aspect of an object that OOO holds to be a mere appearance of that object, an appearance-for some object. This reduction to appearance holds even if that object for which the appearance occurs is the object itself! Even a coral reef can't grasp its essential coral reefness. In essentialism, a superficial appearance is taken for the essence of a thing, or of things in general. In thinking essentialism we may be able to discern another way of avoiding OOO. This is what Harman has christened overmining .? The overminer decides that some things are more real than others: say for example human perception. Then the overminer decides that other things are only granted realness status by somehow coming into the purview of the more real entity. When I measure a photon, when I see a coral reef, it becomes what it is. But when I measure a photon, I never measure the actual photon. Indeed, since at the quantum scale to measure means “to hit with a photon or an electron beam” (or whatever), measurement, perception ( aisthesis ), and doing become the same. What I “see” are deflections, tracks in a diffusion cloud chamber or interference patterns. Far from underwriting a world of pure illusion where the mind is king, quantum theory is one of the very first truly rigorous realisms, thinking its objects as irreducibly resistant to full comprehension, by anything.9 So far we have made objects safe from being swallowed up by larger objects and broken down into smaller objects—undermining. And so far we have made objects safe from being mere projections or reflections of some supervenient entity—overmining. That's quite a degree of autonomy. Everything in the coral reef, from the fish to a single coral lifeform to a tiny plankton, is autonomous. But so is the coral reef itself. So are the heads of the coral, a community of tiny polyps. So is each individual head. Each object is like one of Leibniz's monads, in that each one contains a potentially infinite regress of other objects; and around each object, there is a potentially infinite progress of objects, as numerous multiverse theories are now also arguing. But the infinity, the uncountability, is more radical than Leibniz, since there is nothing stopping a group of objects from being an object, just as a coral reef is something like a society of corals. Each object is “a little world made cunningly” (John Donne).10 We are indeed approaching something like the political valance of autonomy . The existence of an object is irreducibly a matter of coexistence. Objects contain other objects, and are contained “in” other objects. Let us, however, explore further the ramifications of the autonomy of objects. We will see that this mereological approach (based on the study of parts) only gets at part of the astonishing autonomy of things. Yet there are some more things to be said about mereology before we move on. Consider the fact that since objects can't be undermined or overmined, it means that there is strictly no bottom object . There is no object to which all other objects can be reduced, so that we can say everything we want to say about them, hypothetically at least, based on the behavior of the bottom object. The idea that we could is roughly E.O Wilson's theory of consilience .11 Likewise, there is no object from which all things can be produced, no top object . Objects are not emanations from some primordial One or from a prime mover. There might be a god, or gods. Suppose there were. In an OOO universe even a god would not know the essential ins and outs of a piece of coral. Unlike even some forms of atheism, the existence of god (or nonexistence) doesn't matter very much for OOO. If you really want to be an atheist, you might consider giving OOO a spin. If there is no top object and no bottom object, neither is there a middle object . That is, there is no such thing as a space, or time, “in” which objects float. There is no environment distinct from objects. There is no Nature (I capitalize the word to reinforce a sense of its deceptive artificiality). There is no world, if by world we mean a kind of “rope” that connects things together.12 All such connections must be emergent properties of objects themselves. And this of course is well in line with post-Einsteinian physics, in which spacetime just is the product of objects, and which may even be an emergent property of a certain scale of object larger than 10?¹?cm).13 Objects don't sit in a box of space or time. It's the other way around: space and time emanate from objects. How does this happen? OOO tries to produce an explanation from objects themselves. Indeed, the ideal situation would be to rely on just one single object. Otherwise we are stuck with a reality in which objects require other entities to function, which would result in some kind of undermining or overmining. We shall see that we have all the fuel we need “inside” one object to have time and space, and even causality. We shall discover that rather than being some kind of machinery or operating system that underlies objects, causality itself is a phenomenon that floats ontologically “in front of” them. In so doing, we will move from the notion of autonomy and begin approaching a full exploration of the notion of zone , which was promised at the outset of this essay. Since an object is withdrawn, even “from itself,” it is a self-contradictory being. It is itself and not-itself, or in a slightly more expanded version, there is a rift between essence and appearance within an object (as well as “between” them). This rift can't be the same as the clichéd split between substance and accidents , which is the default ontology. On this view, things are like somewhat boring cupcakes with somewhat less boring sugar sprinkles on them of different colors and shapes. But on the OOO view, what is called substance is just another limited slice of an object, a way of apprehending something that is ontologically fathoms deeper. What is called substance and what is called accidence are just on the side of what this essay calls appearance. The rift (Greek, chorismos ) between essence and appearance means that an object presents us with something like what in logic is known as the Liar: some version of the sentence “This sentence is false.” The sentence is true, which means that it is a lie, which means that it is false. Or the sentence is false, which means that it is telling the truth, which means that it is true. Now logic since Aristotle has tried desperately to quarantine such beasts in small backwaters and side streets so that they don't act too provocatively.14 But if OOO holds, then at least one very significant thing in the universe is both itself and not-itself: the object. An object is p ? ¬p. To cope with this fact, we shall need some kind of paraconsistent or even fully dialetheic logic, one that is not allergic to dialetheias (double-truthed things). Yet if we accept that objects are dialetheic, p ? ¬p, we can derive all kinds of things easily from objects. Consider the fact of motion. If objects only occupy one location “in” space at any “one” time, then Zeno's paradoxes will apply to trying to think how an object moves. Yet motion seems like a basic, simple fact of our world. Either everything is just an illusion and nothing really moves at all (Parmenides). Or objects are here and not-here “at the same time.”15 This latter possibility provides the basic setup for all the motion we could wish for. Objects are not “in” time and space. Rather, they “time” (a verb) and “space.” They produce time and space. It would be better to think these verbs as intransitive rather than transitive, in the manner of dance or revolt . They emanate from objects, yet they are not the object. “How can we know the dancer from the dance?” (Yeats).16 The point being, that for there to be a question, there must be a distinction—or there must not be (p ? ¬p).17 It becomes impossible to tell: “What constitutes pretense is that, in the end, you don't know whether it's pretense or not.”18 In this notion of the emergence of time and space from an object we can begin to understand the term zone . Zone can mean belt , something that winds around something else. We talk of temperate zones and war zones. A zone is a place where a certain action is taking place: the zone winds around, it radiates heat, bullets fly, armies are defeated. To speak of an autonomous zone is to speak of a place that a certain political act has carved out of some other entity. Cynically, Tibet is called TAR, the Tibetan Autonomous Region, for this very reason. In this phrase, Region tries to emulate zone : it sounds as if the place has its own rules, but of course, it is very much under the control of China. What action is taking place? “[N]ot something that just is what it is, here and now, without mystery, but something like a quest…a tone on its way calling forth echoes and responses…water seeking its liquidity in the sunlight rippling across the cypresses in the back of the garden.”19 If as suggested earlier there is no functional difference between substance and accidence; if there is no difference between perceiving and doing; if there is no real difference between sentience and non-sentience—then causality itself is a strange, ultimately nonlocal aesthetic phenomenon. A phenomenon, moreover, that emanates from objects themselves, wavering in front of them like the astonishingly beautiful real illusion conjured in this quotation of Alphonso Lingis. Lingis's sentence does what it says, casting a compelling, mysterious spell, the spell of causality, like a demonic force field. A real illusion: if we knew it was an illusion, if it were just an illusion, it would cease to waver. It would not be an illusion at all. We would be in the real of noncontradiction. Since it is like an illusion, we can never be sure: “What constitutes pretense…” A zone is what Lingis calls a level . A zone is not entirely a matter of “free will”: this concept has already beaten down most objects into abject submission. Objects are far more threateningly autonomous, and sensually autonomous, than the Kantian version of autonomy cited in the first paragraph of this essay. A zone is not studiously decided upon by an earnest committee before it goes into action. One of its predominant features is that it is already happening . We find ourselves in it, all of a sudden, in the late afternoon as the shadows lengthen around a city square, giving rise to an uncanny sensation of having been here before. Objects emit zones. Wherever I find myself a zone is already happening, an autonomous zone. It is the nonautonomous zones that are impositions on what is already the case. Or rather, these zones are autonomous zones that exclude and police. They are brittle. Every object is autonomous, but some objects try to maintain themselves through rigidity and brittleness, like (and such as) a police state. Paradoxically, the more rigidly one tries to exclude contradiction, the more virulent become the dialetheias that are possible. I can get around “This sentence is false” by imagining that there are metalanguages that explain what counts as a sentence. Then I can decide that this isn't a real sentence. This is basically Alfred Tarski's strategy, since he invented the notion of metalanguage specifically to cope with dialetheias.20 For example we might claim that sentences such as “This sentence is false” are neither true nor false. But then you can imagine a strengthened version of the Liar such as: “This sentence is not true”; or “This sentence is neither true nor false.” And we can go on adding to the strengthened Liar if the counter-attack tries to build immunity by specifying some fourth thing that a sentence can be besides true, false, and neither true nor false: “This sentence is false, or neither true nor false, or the fourth thing.” And so on.21 It seems as if language becomes more brittle the more it tries to police the Liars of this world. Why? I believe that this increasing brittleness is a symptom of a deep fact about reality. What is this deep fact? Simply that there are objects, that these objects are withdrawn, and that they are walking contradictions. This means indeed that (as Lacan put it) “there is no metalanguage,” since a metalanguage would function as a “middle object” that gave coherency and evenness to the others.22 Since there is no metalanguage, there is no rising above the disturbing illusory play of causality. This may even have political implications: no global critique is therefore possible, and attempts to smooth out or totalize are doomed to fail. To think the zone is to think the notion of temporary , which we shall now begin to discuss in greater detail. The zone is not in time: rather it “times.” But because a zone is an emanation of an object, it is based on a wavering fragility, since objects are p ? ¬p. When an object is born, that means that it has broken free of some other object. An object can be born because it and other objects are fragile. If not, no movement would be possible. Objects contain the seeds of their own destruction, a dialetheic sentence that says something like “This sentence cannot be proved.” Kurt Gödel argues that every true system of propositions contains at least one sentence that the system cannot prove. In order to be true, the system must have a minimum incoherence. To be real, it has to be fragile. Imagine a record player. Now imagine a record called I Cannot Be Played on This Record Player . When you play it on this record player, it produces sympathetic vibrations that cause the record player to shudder apart. No matter how many defense mechanisms you build in, there will always be the possibility of at least one record that destroys the record player.23 That is what being physical is. An object is inherently fragile because it is both itself and not-itself. When the rift between appearance and essence collapses, that is called destruction, ending, death. When an object breaks, several new objects are born. An opera singer sings a loud note in tune with the resonant frequency of a wine glass. (See the movie included below.) The singing is a zone, an autonomous level of intensity, opening a rift between appearance and essence. The glass ripples—for a moment it is nakedly a glass and a not-glass—almost as if it were having an orgasm, a little death. It is caught in the rift of the singing. Then its structure can't handle the coherence of the sound waves, and it breaks. It is incoherence and inconsistency that is the mark of existence, not consistency and noncontradiction. When things break or die, they become coherent. Essence disappears into appearance. I become the memories of friends. A glass becomes a dancing wave. Instantly, there are glass fragments, new temporary autonomous zones. The fragments have broken free from the glass. They are no longer its parts, but emanate their own time and space, becoming perhaps accidental weapons as they bury themselves in my flesh. Thus Hakim Bey's instructions on creating temporary autonomous zones oscillate disturbingly between performance art and politics, circus clowning and revolution. To play with the aesthetic is to play with causality, to rip from the sensual ether emanating from things new regions, new zones. Anarchist politics is the creation of fresh objects in a reality without a top or a bottom object, or for that matter a middle object: Everything in nature is perfectly real including consciousness, there's absolutely nothing to worry about. Not only have the chains of the Law been broken, they never existed; demons never guarded the stars, the Empire never got started, Eros never grew a beard. … There is no becoming, no revolution, no struggle, no path; already you're the monarch of your own skin—your inviolable freedom waits to be completed only by the love of other monarchs: a politics of dream, urgent as the blueness of sky.24 Bey imagines that this is because chaos is a primordial “undifferentiated oneness-of-being.” A Parmenides or a Spinoza or a Laruelle would read this a certain way. Individual objects, or decisions to talk about this rather than that, are just maggot-like things crawling around on the surface of the giant cheese of oneness.25 Yet he also describes chaos as “Primordial uncarved block, sole worshipful monster, inert & spontaneous, more ultraviolet than any mythology.” This image is of an inconsistent object, not of an undifferentiated field. An object, indeed, that can be distinguished from other things. If not, then the first part of The Temporary Autonomous Zone , subtitled “The Broadsheets of Ontological Anarchism,” is a kind of onto-theology. Onto-theology proclaims that some things are more real than others. Bey, however, is writing poetically, and thus ambiguously. We are at liberty to read “undifferentiated oneness-of-being” as something like the irreducibility of a thing to its parts and so forth (undermining and overmining). This certainly seems closer to the language in the following paragraph: “There is no becoming … already you're the monarch of your own skin.”26 On this view, there is no difference between art and politics: “When ugliness, poor design & stupid waste are forced upon you, turn Luddite, throw your shoe in the works, retaliate.” Since Romanticism this has been the war cry of the vanguard artist.27 To say to is to fall prey to the tired axioms of the avant-garde, and we think we know how the game goes. But OOO is not simply a way to advocate “new and improved” versions of this shock-the-bourgeoisie boredom. Bey's text is certainly full enough of that. Rather, since causality as such is aesthetic, and since nonhumans are not that different from humans, the new approach would be to form aesthetic–causal alliances with nonhumans. These alliances would have to resist becoming brittle, whether that brittleness is right wing (authoritarianism) or left wing (the endless maze of critique). No “ism,” especially not the ultimate forms, nihilism and cynicism, is in any sense effective at this point. All forms of brittleness are based on the mistaken assumption that there is a metalanguage and that therefore “Anything you can do, I can do meta.” I will not be listing any approaches here, as Bey does. Such lists and manifestos belong to the vanguardism that no longer works. Why? Not because of some marvelous revolution in human consciousness, but because nonhumans have so successfully impinged upon human social, psychic and aesthetic space. It is the time after the end of the world. That happened in 1945, when a thin layer of radioactive materials was deposited in Earth's crust. Geology now calls it this era the Anthropocene . Ironically, this period, named after humans, is the moment at which even the most thick headed of us make decisive contact with nonhumans, from mercury in our blood to manta rays to magnesium. Richard Dawkins, Pat Robertson and Lady Gaga all have to deal with global warming and mass extinction, somehow. We now live in an Age of Asymmetry marked by a skewed, spiraling relationship between vast knowledge and vast nonhuman things—both become vaster and vaster because of one another and for the same reasons.28 This means that coming up with the perfect attitude or the perfect aesthetic prescription just won't work any more. Even the most hardened anthropocentrist now has to pay through the nose for basic food supplies, and has to use more sunscreen. Whether he knows it or acknowledges it, he is already acting with regard towards nonhumans. There is nothing special to think, no special critique that will get rid of the stains of coexistence. The problem won't fit into the well-established modern boxes, which is why the “mystical,” “spiritual” quality of Bey's prose is welcome. Of course, when I put it this way, you may immediately close off and decide that I am talking about perfect attitudes after all, or something outside of politics, or other ways that the radical left marshals to police its thinking of the nonhuman. Because that is what is really at stake in all this: the nonhuman in its coexistence with the human—bosons, gods, clouds, spirits, lifeforms, experiences, the sunlight rippling across the cypresses. Bey begins to get at this in a Latour litany in the second part of The Temporary Autonomous Zone , “The Assassins”: Pomegranate, mulberry, persimmon, the erotic melancholy of cypresses, membrane-pink shirazi roses, braziers of meccan aloes & benzoin, stiff shafts of ottoman tulips, carpets spread like make-believe gardens on actual lawns—a pavilion set with a mosaic of calligrammes—a willow, a stream with watercress—a fountain crystalled underneath with geometry— the metaphysical scandal of bathing odalisques, of wet brown cupbearers hide-&-seeking in the foliage—“water, greenery, beautiful faces.”29 This will be conveniently dismissed as orientalism. If we're never allowed to escape the crumbling prison of modernity for fear of imperialism there is truly no hope. In a similar way, the fear of anthropocentrism and anthropomorphism is very often staged from a place that just is anthropocentrism .30 Critique turns into ressentiment . An object radiates a zone that is aesthetic and therefore causal. Because objects “time” they are temporary. Not because they exist “in” time that eventually gets the better of them. Their very existence implies the possibility of their non-existence. Since objects are not consistent, they can cease to exist. But nothing, no one, will ever be able to insert a blade between appearance and existence, even thought there is a rift there. Now that's what I call autonomy. NOTES 1. John Cage, Silence: Lectures and Writings (Middletown, CT: Wesleyan University Press, 1973), 96. 2. P. B. Medawar and J. S. Medawar, The Life Science: Current Ideas in Biology (London: Wildwood House, 1977), 8. 3. David DeGrazia, Animal Rights: A Very Short Introduction (Oxford: Oxford University Press, 2002), 5. 4. Antony Colynet, A True History of the Civil Warres in France (London, 1591), 480. 5. Martin Heidegger, Being and Time , tr. Joan Stambaugh (Albany, N.Y: State University of New York Press, 1996) 62–71. 6. Graham Harman, Tool-Being: Heidegger and the Metaphysics of Objects (Peru, IL: Open Court, 2002). 7. Hakim Bey, The Temporary Autonomous Zone (Brooklyn: Autonomedia, 1991). 8. Graham Harman, The Quadruple Object (Ripley: Zero Books, 2011), 7–18. 9. This is not the place to get into an argument about quantum theory, but I have argued that quanta also do not endorse a world that I can't speak about because it is only real when measured. This world is that of the reigning Standard Model proposed by Niels Bohr and challenged by De Broglie and Bohm (and now the cosmologist Valentini, among others). See Timothy Morton, “Here Comes Everything: The Promise of Object-Oriented Ontology,” Qui Parle 19.2 (Spring–Summer, 2011), 163–190. 10. John Donne, Holy Sonnets 15, in The Major Works: Including Songs and Sonnets and Sermons , ed. John Carey (Oxford: Oxford University Press, 2009). 11. Edward O. Wilson, Consilience: The Unity of Knowledge (New York: Knopf, 1998). 12. Martin Heidegger, What Is a Thing? (Washington: Regnery, 1968), 243. 13. Albert Einstein, Relativity: The Special and the General Theory (London: Penguin, 2006); Petr Horava, “Quantum Gravity at a Lifshitz Point,” arXiv:0901.3775v2 [hep-th]. 14. Graham Priest, In Contradiction (Oxford University Press, 2006), passim: the most notable recent quarantine officers have been Tarski, Russell, and Frege. 15. Priest, In Contradiction , 172–181. 16. William Butler Yeats, “Among School Children,” Collected Poems , ed. Richard J. Finneran (New York: Scribner, 1996). 17. Paul de Man, “Semiology and Rhetoric,” Diacritics 3.3 (Autumn, 1973), 27–33 (30). 18. Jacques Lacan, Le seminaire, Livre III: Les psychoses (Paris: Editions de Seuil, 1981), 48. See Slavoj Zizek, The Parallax View (Cambridge, Mass.: MIT Press, 2006), 206. 19. Alphonso Lingis, The Imperative (Bloomington: Indiana University Press, 1998), 29. 20. Priest, In Contradiction , 9–27. 21. See Graham Priest and Francesco Berto, “ Dialetheism ,” The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), ed. Edward N. Zalta. 22. Jacques Lacan, Écrits: A Selection , tr. Alan Sheridan (London: Tavistock, 1977), 311. 23. The analogy can be found at length in Douglas Hofstadter, “Contracrostipunctus,” Gödel, Escher, Bach: An Eternal Golden Braid (New York: Basic Books, 1999), 75–81. 24. Bey, “ Chaos: The Broadsheets of Ontological Anarchism ,” Temporary Autonomous Zone . 25. This is closest to the language of François Laruelle in Philosophies of Difference: A Critical Introduction to Non-Philosophy (New York: Continuum, 2011) 179. 26. Bey, “ Chaos: The Broadsheets of Ontological Anarchism ,” Temporary Autonomous Zone . 27. Peter Bürger, Theory of the Avant Garde (Minneapolis: University of Minnesota Press, 1984). 28. For further discussion see Timothy Morton, “From Modernity to the Anthropocene: Ecology and Art in the Age of Asymmetry,” The International Social Science Journal 209 (forthcoming). 29. Bey, “ The Assassins ,” Temporary Autonomous Zone . 30. Timothy Morton, The Ecological Thought (Cambridge, Mass.: Harvard University Press, 2010), 75–76. (shrink)

Metaphysics should follow science in postulating laws alongside properties. I defend this claim against the claim that natural properties conceived as powers make laws of nature redundant. Natural properties can be construed in a “thin” or a “thick” way. If one attributes a property in the thin sense to an object, this attribution does not conceptually determine which other properties the object possesses. The thin construal is underlying the scientific strategy for understanding nature piecemeal. Science explains phenomena by cutting reality (...) conceptually in properties attributed to space-time points, where these properties are conceived of independently of each other, to explore then, in a separate step, how the properties are related to each other; those determination relations between properties are laws. This is compatible with the thesis that laws are metaphysically necessary. According to the thick conception, a property contains all its dependency relations to other properties. The dependency relationships between properties (which appear as laws in the thin conception) are parts of the properties they relate. There are several reasons to resist the thick conception of properties. It makes simple properties “holistic”, in the sense that each property contains many other properties as parts. It cannot account for the fact that properties constrain each other’s identity; it can neither explain why natural properties are linked to a unique set of dispositions, nor why and how this set is structured nor why the truth-maker of many disposition attributions is relational although the disposition is grounded on a monadic property. (shrink)

This essay argues that propositions are made true by facts. A proposition is the sense expressed by a statement (sentence token used to make a truth claim). Facts are positive or negative constitutive properties of the domain of discourse (usually the actual world). The presence of horses is a positive constitutive property of the world; the absence of unicorns is a negative one. This notion of constitutive properties accords well with the Hume-Kant claim that existence is not a property (...) of any individual said to exist. While Frege held existence to be a property of concepts and Russell held it to be a property of propositional functions, our view sees existence as a property of a domain of discourse. To say that Native Dancer exists is simply to say that the world is characterized by the presence of Native Dancer; to say that Pegasus does not exist is to say the world is characterized by the absence of Pegasus. Such properties of presence and absence are facts. Facts make true propositions true; nothing makes false propositions false (they simply fail to be made true). Facts are not items in the world; they are (constitutive) properties of the world. (shrink)

Presentists face a familiar problem. If only present objects exist, then what 'makes true' our true claims about the past? According to Ross Cameron, the 'truth-makers' for past and future tensed propositions are presently instantiated Temporal Distributional Properties. We present an argument against Cameron's view. There are two ways that we might understand the term 'distribute' as it appears. On one reading, the resulting properties are not up to the task of playing the truth-maker role; on (...) the other, the properties are incompatible with presentism. (shrink)

Oxford Studies in Metaphysics is the forum for the best new work in this flourishing field. Much of the most interesting work in philosophy today is metaphysical in character: this new series is a much-needed focus for it. OSM offers a broad view of the subject, featuring not only the traditionally central topics such as existence, identity, modality, time, and causation, but also the rich clusters of metaphysical questions in neighbouring fields, such as philosophy of mind and philosophy of science. (...) Besides independent essays, volumes will often contain a critical essay on a recent book, or a symposium that allows participants to respond to one another's criticisms and questions. Anyone who wants to know what's happening in metaphysics can start here. Volume Two begins with a major paper on consciousness by Ned Block. Block examines 'Max Black's Objection to Mind-Body Identity', an argument for a dualism of physical and phenomenal properties, closely related to Jackson's 'knowledge argument'. His extensive exploration of this family of arguments for property dualism includes considerable discussion of John Perry and Stephen White; their responses to Block's paper complete the section on the metaphysics of consciousness.Three papers consider the thesis that the future is, in some sense, 'open'. Eli Hirsch elaborates a view according to which contingent statements about the future can be indeterminate in truth-value, while preserving 'straight logic', including a principle of bivalence. Peter Forrest defends a sort of 'growing block' theory of the passage of time, emphasizing the way such a metaphysics, combined with a truth-maker principle, can provide an analysis of natural necessity. Trenton Merricks presents a trenchant and original criticism of the 'growing block' theory of time.The volume continues with a group of papers on problems of ontology. Thomas Hofweber's paper, defending nominalism from the objection that there are 'inexpressible' properties and propositions, won the first annual Oxford Studies in Metaphysics Younger Scholar Prize. The papers by Phillip Bricker and Michael Loux examine a couple of deep divides within ontology. John Hawthorne's paper raises some extremely puzzling questions about the nature of persons, given the ontology needed for Timothy Williamson's theory of vagueness. Hawthorne uses these problems to motivate an alternative style of epistemicism. The final three papers take up several issues in the metaphysics of traditional theism. Michael Bergmann and Jeffrey Brower raise objections to combining a Platonic conception of universals with the doctrine of divine aseity; while Brian Leftow defends a non-Platonic theory of universals - a kind of divine-concept nominalism. Hud Hudson suggests that contemplation of the possibility of higher dimensions opens up new avenues in theodicy. (shrink)

As Nelson Goodman put it, things are full of threats and promises. A fragile glass, for example, is prone to shatter when struck. Fragility is the glass's disposition, shattering is the manifestation of the disposition, and striking is the circumstances of manifestation. The properties of a fragile glass which are causally efficacious for shattering constitute the causal basis of the glass's fragility. The glass can remain fragile even if it never shatters. One can say of the fragile glass, with certain (...) qualifications, that if it were struck, it would shatter. This much is common ground among philosophers who discuss dispositions. In my dissertation, I defend three claims about dispositions that are more controversial. ;Some philosophers have claimed that dispositions are causally impotent. I disagree. In my first chapter, I defend the claim that dispositions can be causally efficacious with respect to their manifestations. Among the arguments I consider is the "no work" argument, according to which a disposition's causal basis causally explains its manifestation, leaving no causal work for the disposition to do. I respond to this argument by challenging the Principle of Explanatory Exclusion, according to which complete explanations exclude competitors. ;Furthermore, many philosophers hold that all dispositions must have independent causal bases. In my second chapter, I challenge this view, and defend the possibility of bare dispositions. I argue that the concept of a bare disposition is coherent, and show why arguments recently offered against bare dispositions, such as those based on the Truth Maker Principle, do not succeed in demonstrating that they are impossible. ;Another common assumption about dispositions is that they must be intrinsic properties of the objects that have them. In my third chapter, I challenge this assumption, and argue that some dispositions are extrinsic properties. Consider the property vulnerability. It seems dispositional in character; something which is vulnerable is susceptible to harm, but is not necessarily being harmed right now. However, it seems as if something could lose the property of being vulnerable without undergoing any intrinsic change. Build a fortress around the vulnerable object and it ceases to be vulnerable. (shrink)

If the sentence 'my cat is on the mat' is true how does it get to be true? Sentences are made true by what exists. But what about claims such as 'There were dinosaurs?' and '2+2=4'. How do they get to be true? Metaphysics: An Introduction uses the idea of truth and the quest for truth-makers to unravel philosophical problems in contemporary metaphysics. From the nature of properties and time to causation and objects, truth becomes (...) a guiding theme to understanding metaphysical concepts and debates. In response to feedback from students and instructors, the Second Edition has been updated with new material in a range of chapters, including discussions of recent research concerning the nature of physical objects, time and modality. Recommended readings have been revised to ensure an improved gender balance while explanations and ideas are easier to follow. Together with a glossary and discussion questions, each chapter concludes with a series of mind maps to help visualise the logical space being explored and how the arguments push in different directions. Metaphysics: An Introduction is suitable for anyone studying metaphysical problems for the first time. (shrink)

Although the historical‐causal picture of reference Kripke sketches in Naming and Necessity is highly influential, Kripke in fact says very little about what reference is and how it comes about. In this paper I point out that the possibility of asking WH‐questions (i.e. ‘what?’, ‘who?’, ‘which?’) about a sound or inscription pattern (e.g., what does that refer to?) shows that in case of names especially, their reference, if there is one, will be preserved by a causal‐historical chain constituted by transmissions (...) of the (physical) patterns themselves, even in absence of language users or any linguistic intentions. I sketch out a causal‐informational theory of reference, that holds that the causal aspect of refence transmission is due to two‐factors. On the other hand there are informational chains constituted by data transmissions, on the other, also communicational rules by which speakers can interpret the data as information of something are needed. In most part the causal‐informational theory sketched in the paper can be viewed as complementing Kripke’s original causal picture. However, I will argue that Kripke's account of fixing the reference of proper names in ‘initial baptisms’ is inadequate. I will argue that most cases of seemingly fixing the reference via use of a definite description (e.g., the naming of Neptune) in fact presuppose a prior causal‐informational connection to the named object, thus essentially fixing the reference in the same way as in cases of baptism by ostension. I will further argue that in the cases that do not fall into the previous category, the baptism by definite description simply fail to fix any reference. I thus conclude that there is no such thing as fixing the reference of a proper name by definite description. (shrink)

Conceptual engineering is to be explained by appeal to the externalist distinction between concepts and conceptions. If concepts are determined by non-conceptual relations to objective properties rather than by associated conceptions (whether individual or communal), then topic preservation through semantic change will be possible. The requisite level of objectivity is guaranteed by the possibility of collective error and does not depend on a stronger level of objectivity, such as mind-independence or independence from linguistic or social practice more generally. This means (...) that the requisite level of objectivity is exhibited not only by natural kinds, but also by a wide range of philosophical kinds, social kinds and artefactual kinds. The alternative externalist accounts of conceptual engineering offered by Herman Cappelen and Derek Ball fall back into a kind of descriptivism which is antithetical to externalism and fails to recognise this basic level of objectivity. (shrink)

It is commonly assumed that the conception of truth defended by Frege in his mature period is characterized by the view that truth is not the property denoted by the predicate 'is true', but the object named by true sentences. In the present paper, I wish to make plausible an alternative interpretation according to which Frege's conception is characterized by the view that truth is what is expressed in natural language by the "form of the assertoric sentence". (...) So construed, truth is neither an object (like the True) nor a property (like the Bedeutung of the predicate 'is true') but something of a very special kind that belongs to the same logical category as the logical relations (like subsumption). The main argument justifying this interpretation is that Frege's explication of truth does not hold of the True, but only of truth, considered as what is expressed by the form of the assertoric sentence. (shrink)

Objectivity has a history, and it is full of surprises. In Objectivity, Lorraine Daston and Peter Galison chart the emergence of objectivity in the mid-nineteenth-century sciences--and show how the concept differs from its alternatives, truth-to-nature and trained judgment. This is a story of lofty epistemic ideals fused with workaday practices in the making of scientific images. From the eighteenth through the early twenty-first centuries, the images that reveal the deepest commitments of the empirical sciences--from anatomy to crystallography--are those featured (...) in scientific atlases, the compendia that teach practitioners what is worth looking at and how to look at it. Galison and Daston use atlas images to uncover a hidden history of scientific objectivity and its rivals. Whether an atlas maker idealizes an image to capture the essentials in the name of truth-to-nature or refuses to erase even the most incidental detail in the name of objectivity or highlights patterns in the name of trained judgment is a decision enforced by an ethos as well as by an epistemology. As Daston and Galison argue, atlases shape the subjects as well as the objects of science. To pursue objectivity--or truth-to-nature or trained judgment--is simultaneously to cultivate a distinctive scientific self wherein knowing and knower converge. Moreover, the very point at which they visibly converge is in the very act of seeing not as a separate individual but as a member of a particular scientific community. Embedded in the atlas image, therefore, are the traces of consequential choices about knowledge, persona, and collective sight. Objectivity is a book addressed to anyone interested in the elusive and crucial notion of objectivity-- and in what it means to peer into the world scientifically. Lorraine Daston is Director at the Max Planck Institute for the History of Science in Berlin, Germany. She is the coauthor of Wonders and the Order of Nature, 1150-1750 and the editor of Things That Talk: Object Lessons from Art and Science. Peter Galison is Pellegrino University Professor of the History of Science and of Physics at Harvard University. He is the author of Einstein's Clocks, Poincaré's Maps: Empires of Time, How Experiments End, and Image and Logic: A Material Culture of Microphysics, and other books, and coeditor of The Architecture of Science. (shrink)

Part of Frege's concern about whether number words are properties of objects was that if they could be construed as such it would lend support to the view that truths of arithmetic were empirical truths. Such concern is ill-founded. Even if number words do apply to objects as predicates, this does not entail that numerical truths would be empirical, any more than the fact that ‘bachelor’ and ‘unmarried’ are predicates of objects entails that their relationship is an (...) empirical one. The account of number words as predicates given here, consequently, should not be taken as supportive of any one particular theory concerning arithmetic truth rather than another.The view of number words that emerges above from the criticism of Frege's arguments is that sentences containing number words can and do say something about objects in a collective and syncategorematic way. That is, they say something about classes of objects, when it is clear what is to count as an object. Whether this view commits us to accepting certain ontological entities, classes of individuals, above and beyond individuals themselves, I am not prepared to say, and at any rate this question falls beyond the intended scope of this essay. To those who would eschew abstract entities, however, it may be noted that the ontological problems that arise are not peculiar to this view; they seem no more or less severe than those that arise in connection with other collective predicate statements, as, for example, “Blue whales are becoming extinct.”The view presented here also does not pretend to be a fatal criticism of the logicist program. Taking our cue from the above noted fact that syncategorematic predicates share in a common ‘partial’ abstract sense, it seems reasonable to say that it is just the set of such partial senses of number words, and the relationships that hold between such senses, that the logicist and the pure number theorist investigate. (shrink)

Truth-maker analyses construe truth as existence of proof, a well-known example being that offered by Wittgenstein in theTractatus. The paper subsumes the intuitionistic view of truth as existence of proof under the general truth-maker scheme. Two generic constraints on truth-maker analysis are noted and positioned with respect to the writings of Michael Dummett and theTractatus. Examination of the writings of Brouwer, Heyting and Weyl indicates the specific notions of truth-maker and existence that are at (...) issue in the intuitionistic truth-maker analysis, namely that of proof in the sense of proof-object (Brouwer, Heyting) and existence in the nonpropositional sense of a judgement abstract (Weyl). Furthermore, possible anticipations in the writings of Schlick and Pfänder are noted. (shrink)

In Truth as One and Many, Michael Lynch offers a new theory of truth. There are two kinds of theory of truth in the literature. On the one hand, we have logical theories, which seek to construct formal systems that are consistent, while also containing a predicate which have as many as possible of the properties which we ordinarily take the English predicate ‘is true’ to have; salient examples include Tarski’s and Kripke’s theories of truth. On (...) the other hand, we have metaphysical theories, which seek to give a non-formal account of the nature of truth – of what truth consists in, of what it means to say that something is true; salient examples include correspondence, coherence and deflationary theories of truth. Lynch’s theory – functionalism about truth – is of the second sort.The theory takes its start from a number of principles which Lynch classifies as truisms about truth:Objectivity: The belief that p is true if, and only if, with respect to the belief that p, things are as they are believed to be.Norm of Belief: It is prima facie correct to believe that p if and only if the proposition that p is true.End of Inquiry: Other things being equal, true beliefs are a worthy goal of inquiry.Lynch argues that other familiar principles can be derived from these: for example, Objectivity together with some auxiliary principles and definitions yields versions of the T-schema, and of the principle that beliefs can be true without being warranted and vice versa. These principles are supposed to give the nominal essence of truth – to constitute our folk theory of truth. Lynch …. (shrink)

An innovative, ambitious, tradition-crossing study drawing on the work of Husserl, Heidegger, Horkheimer, Adorno, and Habermas to propose a new and transformative concept of truth. The idea of truth is a guiding theme for German continental philosophers from Husserl through Habermas. In this book, Lambert Zuidervaart examines debates surrounding the idea of truth in twentieth-century German continental philosophy. He argues that the Heideggerian and critical theory traditions have much in common—despite the miscommunication, opposition, and even outright hostility (...) that have prevailed between them—including significant roots in the phenomenology of Edmund Husserl. Zuidervaart sees the tensions between Heideggerian thought and critical theory as potentially generative sources for a new approach to the idea of truth. He argues further that the “critical retrieval” of insights from German continental philosophy can shed light on current debates in analytic truth theory. Zuidervaart structures his account around three issues: the distinction between propositional truth and truth that is more than propositional (which he calls existential truth); the relationship between propositional truth and the discursive justification of propositional truth claims, framed in analytic philosophy by debates between epistemic and nonepistemic conceptions of truth; and the relationship between propositional truth and the objectivity of knowledge, often presented in analytic philosophy as a conflict between realists and antirealists over the relation between “truth bearers” and “truth makers.” In an innovative and ambitious argument, drawing on the work of Husserl, Heidegger, Horkheimer, Adorno, and Habermas, Zuidervaart proposes a new and transformative conception of truth. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw (...) suggestions from his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

SummaryIn a theory of representational or intentional states content is generally supposed to play various roles. It has to be the bearer of a truth‐value, it has to determine the way a representation is about something , and finally it has to 6e used in order to give intra‐ and interpersonal psychological explanations. It has been argued that no unique kind of content can play all these roles. What criterion should one adopt in order to draw the dividing line? (...) We suggest that the divide be based on ontological considerations related to the way content depends on external factors. There is a fundamental difference, we submit, between object‐dependent and property‐dependent contents. The requirements concerning modes of presentation as well as cognitive significance can be met by one kind of content. This content, it will appear, is property‐dependent, but never object‐dependent. (shrink)

In his Encyclopaedia Logic, Hegel affirms that truth is ‘usually’ understood as the agreement of thought with the object, but that in the ‘deeper, i.e. philosophical sense’, truth is the agreement of a content with itself or of an object with its concept. Hegel then provides illustrations of this second sort of truth: a ‘true friend’, a ‘true state’, a ‘true work of art’. Robert Stern has argued that Hegel's ‘deeper’ or ‘philosophical’ truth is close to (...) what Heidegger labelled ‘material’ truth, namely a property attributed to a thing on the basis of the accordance of that thing with its essence. It has since been common to think of Hegel's concept of ‘philosophical’ truth as ‘ontological’, ‘objective’ or ‘material’ in contrast to ‘epistemological’ or ‘propositional’ definitions. In this paper, I wish to add an important nuance to the existing literature on this subject: even though things have a truth-value for Hegel, the latter is always negative. I argue that Hegel's criterion of ‘philosophical’ truth, which is best formulated as ‘agreement with self’, is first and foremost intended to examine the truth-value of thought-determinations. I then argue that even though this criterion may also be applied to examine the truth-value of things (namely, even though things have a truth-value), things never fall under this definition. After reviewing several of Hegel's explicit remarks on the matter, I provide an alternative explanation to those features of Hegel's ‘philosophical’ truth which have led scholars to view it as a truth in things. Especially, I argue that what are generally seen as Hegel's examples (‘true friend’, ‘true state’, ‘true work of art’) are not intended as examples but only as imperfect illustrations of ‘philosophical’ truth. (shrink)

In this paper I propose a partition semantics for sentences containing objective predicates that takes into account the phenomenon of occasion-sensitivity associated with so-called Travis cases. The key idea is that the set of worlds in which a sentence is true has a more complex structure as a result of different ways in which it is made true. Different ways may have different capacities to support the attainment of a contextually salient domain goal. I suggest that goal-conduciveness decides whether some (...) utterance of a sentence is accepted as true on a particular occasion at a given world. The utterance will not be accepted as true at a world which belongs to a truth-maker which is less conducive to a contextually salient goal than other truth-makers. Finally, the proposed occasion-sensitive semantics is applied to some cases of disagreement and cancellability. (shrink)

The paper critically examines an unpopular line of Frege’s view on numbers in the Foundations of Arithmetic. According to this view, which analyzes numbers in terms of properties and not in terms of extensions, numbers are properties of concepts vs. properties of objects. The latter view is held by Mill and is famously criticized in the Foundations. I argue that on the property account numbers cannot only be properties of concepts but they also have to be properties of (...) class='Hi'>objects. My main argument rests on purely metaphysical grounds. It stems from the motivation that were numbers only properties of concepts we would not have been able to explain mathematical truths about the physical world or those truths would have been miraculous. On pains that we do have mathematical truths about the physical world that are not miraculous we cannot agree with Frege’s property line about the metaphysical nature of numbers. (shrink)

Jody Azzouni argues that we involuntarily experience certain physical items, certain products of human actions, and certain human actions themselves as having meaning-properties. We understand these items as possessing meaning or as having truth values. For example, a sign on a door reading "Drinks Inside" strikes native English speakers as referring to liquids in the room behind the door. The sign has a truth value--if no drinks are found in the room, the sign is misleading. Someone pointing in (...) a direction has the same effect: we experience her gesture as significant. Azzouni does not suggest that we don't recognize the expectations or intentions of speakers ; we do recognize that the person pointing in a certain direction intends for us to understand her gesture's significance. Nevertheless, Azzouni asserts that we experience that gesture as having significance independent of her intentions. The gesture is meaningful on its own. The same is true of language, both spoken and written. We experience the meanings of language artifacts as independent of their makers' intentions in the same way that we experience an object's shape as a property independent of the object's color. There is a distinctive phenomenology to the experience of understanding language, and Semantic Perception shows how this phenomenology can be brought to bear as evidence for and against competing theories of language. (shrink)

The article discusses the V.V. Tselishchev’s original and unique systematic study of the specific and extremely complicated problems of Gödel results regarding the question of artificial intelligence essence. Tselishchev argues that the reflexive property should be considered not only as an advantage of human reasoning, but also as an objective internal limitation that appears in case of adding Gödel sentence to a theory to build a new theory. The article analyzes so-called mentalistic Gödel’s argument for fundamental superiority of human intelligence (...) over machine one and the non-algorithmic nature of natural thinking. The discussion about the Gödel argument is not entirely speculative, but contains new knowledge. An example of such knowledge are the results of R. Smullyan levels of computers “awareness,” which are may be interpreted in a psychophysical sense. The concept of “zero level of intelligence” is proposed for such a reflexive property as “awareness of selfconsciousness.” Reflexive ranks below the awareness of self-consciousness can be considered negative levels of thinking in the sense that the intelligence, being reduced to them, significantly loses its completeness. Even self-consciousness turns out to be a negative level of thinking, since, according to Smullyan, the subject of self-consciousness is unaware of the type of thought to which he belongs. A thought experiment is proposed that allows us to establish the distribution of the properties of Smullyan stability and normality and to answer the question “Does an intuitive belief in the truth of a formal proof affect the truth of a proposition being proved?” According to intuitionism, the most unpleasant epistemic property is instability: beliefs that are not based on deep intuitions have no value. According to the constructivist philosophy of mathematics, instability is a less negative property than abnormality: the fact that high-ranking beliefs cannot be immersed to the very foundations is not significant because violation of truth due to lowering the rank of reflection is not critical. (shrink)

According to alethic functionalism, truth is a generic alethic property related to lower level alethic properties through the manifestation relation. The manifestation relation is reflexive; thus, a proposition’s truth-manifesting property may be a lower level property or truth itself, depending on the subject matter properties of the proposition. A true proposition whose truth-manifesting property is truth itself, rather than a lower level alethic property, is plainly true. Alethic functionalism relies on plain truth to account (...) for the truth of propositions with challenging subject matter properties, such as logically complex propositions and truth attributions. In this paper, it is argued that plain truth leads to a number of serious problems for alethic functionalism. First: Shapiro argues that plain truth threatens alethic functionalism with collapse to strong alethic monism; it is argued here that collapse is not merely threatened, but that, on pain of contradiction, collapse is immediate. Second, alethic functionalism’s commitment to alethic pluralism requires lower level alethic properties to be ways of being truth, where one property’s being a way of being the other property is irreflexive; thus, alethic functionalism is incoherent due to the conflicting commitments to a manifestation relation which is both reflexive and irreflexive. Third, it is argued that a reflexive manifestation relation leads to the contradiction that a lower level alethic property which manifests truth is both identical to and distinct from truth itself. Fourth, careful examination of the notion of a core truism shows that Objectivity and the correspondence intuition are the only core truisms. Finally, it is argued that the first and fourth problems jointly entail a collapse of alethic functionalism to strong correspondence monism. (shrink)

In this paper I argue that the theory that holes are immaterial objects faces an objection that has traditionally been thought to be the principal difficulty with its main rival, which construes holes as material parts of material objects. Consequently, one of the principal advantages of identifying holes with immaterial objects is illusory: its apparent ease of accounting for truths about number of holes. I argue that in spite of this we should not think of holes as (...) material parts of material objects. This is because the theory that holes are properties does not face the same difficulties as either of these theories that construe holes as objects of some sort. (shrink)

Graduate Papers from the 2022 Joint Session. It is often said that Aristotle takes geometrical objects to be absolutely unmovable and unchangeable. However, Greek geometrical practice does appeal to motion and change, and geometers seem to consider their objects apt to be manipulated. In this paper, I examine if and how Aristotle’s philosophy of geometry can account for the geometers’ practices and way of talking. First, I illustrate three different ways in which Greek geometry appeals to change. Second, (...) I examine Aristotle’s ontology of geometrical objects and argue that although the truth-makers of geometrical statements are in fact unmovable because they are properties of sensible objects, geometers ‘separate them in thought’ and treat them as substances apt to be modified. Finally, I examine whether allowing for the possibility of manipulating these semi-fictional geometrical individuals creates problems for the applicability of geometry. I find that it does not, insofar as one accepts that geometry is not meant to track physical change but merely to study the instantaneous geometrical configuration of sensible bodies, and is thus only applicable at the instant. (shrink)

Metasemantic inferentialismhas gained popularity in the last few decades. Traditionally, inferentialism is combined with a deflationary attitude towards semantic terms such as truth and reference, i.e., many inferentialists hold that when we use these semantic terms we do not purport to refer to substantive properties. This combination makes inferentialism attractive for philosophers who see themselves as antirealists. Although the attractions of combining inferentialism and deflationism are easy to see, deflationism is also a controversial position. For one, deflationists maintain that (...) truth is an insubstantive property, but it is not altogether clear what an insubstantive property is. Secondly, as deflationists maintain that truth does not play an explanatory role, it is incompatible with the position that truth can explain the normativity of truth talk. Given that deflationism faces these objections, it would be preferable if the success of inferentialism did not depend on the deflationist’s ability to respond to these objections. I argue that someone attracted to inferentialism for its ability to accommodate antirealist intuitions about a domain (e.g. morality) is not committed to deflationism about truth. More specifically, I will show that inferentialism combined with a straightforward account of inferentialist truth-conditions is compatible with a version of truth pluralism. I call this position Inferentialist Truth Pluralism. (shrink)

In Truth and Objectivity, Crispin Wright argues that because truth is a distinctively normative property, it cannot be as metaphysically insubstantive as deflationists claim. We offer a reconstruction of Wright’s Inflationary Argument that highlights the steps required to establish its inflationary conclusion. We argue that if a certain metaphysical and epistemological view of a given subject matter is accepted, a local counterexample to the Inflationary Argument can be constructed. As a case study we focus on the domain of (...) basic taste. We develop two variants of a subjectivist and relativist metaphysics and epistemology that seem palatable in that domain and we show that the Inflationary Argument doesn’t go through in the domain of basic taste thus construed. We conclude by briefly discussing the significance of this result for the debate on alethic pluralism. (shrink)

The doctrine of the transcendentals is a prominent feature of medieval thought. Briefly stated, this doctrine asserts that "being" has certain properties, including unity, truth and goodness. One of Thomas Aquinas's contributions to reflection on the transcendentals was to articulate a set of transcendental properties relating "being" to the faculties of the soul: truth is "being" in relation to intellect and goodness is "being" in relation to will. Thus, truth and goodness are known as the relational transcendentals. (...) ;As properties of "being," the relational transcendentals are of obvious importance for metaphysics, and Thomas's modern interpreters have tended to treat them as an ontological issue separated from other philosophical and theological concerns. Thomas's most salient statements about truth and goodness suggest, however, that he constructed the relational transcendentals as part of a larger account that unites ontology, anthropology, ethics and theology. The goal of this dissertation is to reintegrate the relational transcendentals into that account. ;In order to provide a sense of how the modern tradition has regarded Thomas's statements about the relational transcendentals, I begin the dissertation with a survey of twentieth century studies on the topic. I then offer a detailed exegesis and commentary on the two texts that have provided the bases for most studies of the transcendentals in St. Thomas's thought: articles 1.1 and 21.1 of his Disputed Questions on Truth. Being careful to locate both texts within the larger discussions of their respective questions and, ultimately, within the context of the entire disputation, I argue that Thomas dwells on truth and goodness in them precisely as objects of the faculties of intellect and will. His discussions of the relational transcendentals are, thus, propadeutic to more extended psychological considerations of the human and divine intellects and wills. I conclude the dissertation by using this holistic account of the relational transcendentals and their psychological functions to reveal beauty as a third relational transcendental nestled between truth and goodness. (shrink)

In this work I defend moral realism, the thesis that there are objective moral truths, by defending “epistemic realism.” Epistemic realism is the thesis that epistemic judgments, e.g., judgments that some belief is epistemically reasonable, or justified, or known or should be held, are sometimes true and made true by stance-independent epistemic facts and properties. -/- One might think that epistemic realism needs no defense because it is obviously true and nearly universally accepted. But there are influential arguments against moral (...) realism, which is analogous to epistemic realism: moral realists think that moral judgments, e.g., that something is morally good, or ought to be done, are sometimes true because there are stance-independent moral facts and properties. Moral irrealists deny this for a variety of semantic, metaphysical, psychological and epistemological reasons. They argue that moral judgments are neither true nor false since they are non-cognitive expressions of emotion or commands, or are never true since they fail to refer, or that their truth is “relative.” -/- Drawing on the moral irrealisms of Ayer, Stevenson, Hare, Mackie, Harman, and more recent thinkers, I construct parallel arguments for epistemic irrealisms. On these views, epistemic judgments are also merely expressive, a kind of command, always false, or relativistic in truth conditions: even “epistemic platitudes” like “justified beliefs are better than unjustified beliefs” and “ideally, one’s beliefs ought to be consistent” are understood not as epistemic propositions that might be believed (much less believed truly), or as attempts to accurately represent epistemic facts, or as attributions of epistemic properties. -/- The implications of these claims are highly at odds with common epistemological assumptions, even those that moral irrealists tend to accept. I argue that these implications are rationally unacceptable and that, therefore, the premises that support them should be rejected. Since these premises are those given in defense of moral irrealisms, I thereby defend both moral and epistemic realism. Thus, I argue that “oughts,” “shoulds” and other evaluative judgments are equally legitimate in both ethics and epistemology. (shrink)

The object reading of Frege's conception of truth holds that, for him, truth is an object---the truth-value the True. Greimann rejects the object reading and suggests an alternative reading. According to his suggested reading, Frege is the proponent of the assertion theory of truth the main thesis of which is that truth is what is expressed by the form of assertoric sentences and truth as such is neither an object nor a property. I argue (...) that Frege cannot accept the assertion theory. I also defend the object reading by elaborating it further and replying to Greimann's criticisms. (shrink)

Many normative nonnaturalists find normative naturalism to be completely implausible. Naturalists and nonnaturalists agree, provided they are realists, that there are normative properties, such as moral ones. Naturalists hold that these properties are similar in all metaphysically important respects to properties that all would agree to be natural ones, such as such as meteorological or economic ones. It is this view that the nonnaturalists I have in mind find to be hopeless. They hold that normative properties are just too different (...) from natural properties for it to be possible they are natural properties. I aim to defuse this intuition. “Non-analytic naturalism” has made progress in defusing the intution. According to non-analytic naturalists, normative properties can be represented in thought in two ways, by an ordinary normative concept and by a naturalistic concept, where, the non-analytic naturalist concedes, normative concepts are not, and are not analyzable in terms of, naturalistic concepts. Non-analytic naturalism seems to avoid many of the standard objections to naturalism, but the Just Too Different intuition is resilient in the face of non-analytic naturalism, for even if one thinks that normative concepts are not analyzable at all, one might think that clarity about the concepts can show that naturalism is hopeless. I therefore think it is important for naturalists to address the intuition directly. In this paper, I argue that the intuition plausibly rests on certain characteristic pre-theoretical ways of thinking of the normative properties that we acquire in the ordinary course of moral learning, together with a drive to vindicate these ways of thinking, something of which people may be unaware. This drive to vindicate our ways of thinking is pervasive, and it is characteristic of rational agents. It explains our tendency to think well of those we love, for example, and to think ill of those with whom we are angry. It also explains a strong inclination to form beliefs that, if true, would seemingly vindicate our ways of thinking of normative properties. A result of this, I contend, is the intuition that normative naturalism cannot be true. Yet, as I further argue, the vindication process does not track the truth and the drive to vindicate our states of mind cannot be relied on as a guide to the metaphysics of normativity. (shrink)